(version 1)
(deny default (with partial-symbolication))

(import "system.sb")
